#verificación de exhaustividad